Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Programa de estudio |
Programación Lógica | Smith, Clara Patricia |
(2018) |
---------- | |
Programa de estudio |
Programación Lógica: | Smith, Clara Patricia |
(2019) |
---------- | |
Libro |
Programación lógica y funcional | Vidart, Jorge |
(1988) |
Domicilio
|
---------- |
Libro |
Resolución de problemas con inteligencia artificial | Kvitca, Adolfo M. |
1a ed.
(1988) 1a ed. (198-) |
Domicilio
|
---------- |
Publicación seriada |
The journal of logic programming | Sin autor |
(1984-2000) |
---------- | |
Artículo |
The logic of proofs as a foundation for certifying mobile computation : | Bonelli, Eduardo |
(2009) |
---------- | |
Artículo |
Translating fork specifications into logic programs : | Baum, Gabriel Alfredo |
(2001) |
---------- |